Teoria della computabilit_

• I teoremi di incompletezza di G_del.

• Il fallimento del programma di Hilbert.

• La nozione di decidibilit_ come ultima speranza del formalismo.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica